Don't blame us
نویسندگان
چکیده
منابع مشابه
Blame Prediction
Static type systems are usually conservative. Therefore, many interesting programs are rejected by the type system, even though they often execute without errors. Dynamic type systems would allow such ill-typed programs to run. However, the cause of runtime errors is often far removed from the place where the type errors are raised, making the program hard to debug. We present a hybrid typing d...
متن کاملBlame on them, shame on us: combining affective and normative behaviour in intelligent virtual agents
Virtual environments often try to simulate situations where agents should display socially acceptable behaviour, as described by social norms. Actions that fulfil or violate norms can be potential sources for emotions, not just for the agent responsible, but for all agents that witness the event. We claim that the type and intensity of those emotions depends, not only on the salience (importanc...
متن کاملBlame Trees
We consider the problem of merging individual text documents, motivated by the single-file merge algorithms of document-based version control systems. Abstracting away the merging of conflicting edits to an external conflict resolution function (possibly implemented by a human), we consider the efficient identification of conflicting regions. We show how to implement tree-based document represe...
متن کاملShifting the Blame - A Blame Calculus with Delimited Control
We study integration of static and dynamic typing in the presence of delimited-control operators. In a program where typed and untyped parts coexist, the run-time system has to monitor the flow of values between these parts and abort program execution if invalid values are passed. However, control operators, which enable us to implement useful control effects, make such monitoring tricky; in fa...
متن کاملDont Breathe and Drive? Pollutants Lurk inside Vehicles
The ability of human immunodeficiency virus type 1 (HIV-1) to develop high levels of genetic diversity, and thereby acquire mutations to escape immune pressures, contributes to the difficulties in producing a vaccine. Possibly no single HIV-1 sequence can induce sufficiently broad immunity to protect against a wide variety of infectious strains, or block mutational escape pathways available to ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1989
ISSN: 0028-0836,1476-4687
DOI: 10.1038/342608c0